Critical Software - PDFSEARCH.IO - Document Search Engine

Critical Software
Results: 1293

#	Item
61	Microsoft Word - Final Report Safety Critical Eunite 2003.rtf Add to Reading List Source URL: www.eunite.org Language: English - Date: 2014-12-13 03:39:48 Artificial intelligence Computational neuroscience Computational statistics Neural networks Artificial neural network Mathematical psychology Intelligent control Fuzzy logic Software development process Biological neural network Control theory Cellular neural network
62	Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-08-14 07:19:44 Systems engineering Formal methods Product development Software design Software quality Software development process B-Method Safety life cycle Specification Reliability engineering Functional specification Paris Mtro Line 14
63	Route Visualization & Reporting Tool Connecting the back office to the cab is critical for a successful deployment of in-cab navigation. With our web-based fleet management tool, CoPilot FleetPortal, Fleet Managers have Add to Reading List Source URL: copilotpro.com Language: English* - Date: 2016-04-08 08:10:25 Here Route planning software Web mapping Truck
64	C A S E S T U DY Gallup-McKinley County Schools successfully defends against ransomware Malwarebytes is a critical part of maintaining a safe learning environment Business profile Add to Reading List Source URL: it.malwarebytes.com Language: English - Date: 2016-07-06 12:38:04 Antivirus software Malwarebytes Malware Rootkit Computer worm Avira Computer virus Ransomware Spyware
65	MANUALE MICROSOFT PROJECT 2010 DOWNLOAD WWRG-83PDF-MMP2D \| 7 Mar, 2016 \| 44 Pages \| Size 2,294 KB COPYRIGHT 2016, ALL RIGHT RESERVED Add to Reading List Source URL: www.mtbkorea.org Language: English - Date: 2016-08-20 02:40:27 Critical Path Scheduling Microsoft Project Project management software Microsoft
66	AppStack for The Enterprise Accelerating Distributed Enterprise Applications to the Clouds Simplified Management For Mission Critical Apps AppStack is a software platform that makes it easy to deploy and manage appli Add to Reading List Source URL: www.appcara.com Language: English - Date: 2014-07-04 03:43:08 Cloud infrastructure Cloud storage HP Cloud Cloud computing Orchestration Rackspace Cloud IBM cloud computing HP CloudSystem
67	C:rsCKS~1DatamingtQuadtaL8CCAUL~1.XML Add to Reading List Source URL: docs.house.gov Language: English Infrastructure United States Department of Homeland Security National security Cyberwarfare SoftQuad Software XMetaL Critical infrastructure protection Critical infrastructure Computer security
68	1 Issue 2 1 Seismic shift needed toward application security 2 Critical differentiator Add to Reading List Source URL: saas.hpe.com Language: English - Date: 2015-09-16 16:49:11 Computer security Computer network security Application security Software testing Application firewall Mobile security Fortify Software Vulnerability Software as a service
69	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2011-02-02 12:03:33 Software quality Design for X Symposium on Principles of Programming Languages Reliability engineering Computer security Software Fly-by-wire
70	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:27 Computer arithmetic Floating point Fluctuat Abstract interpretation Rounding Interval arithmetic Loss of significance NaN Common logarithm Lookup table Affine arithmetic Signed zero

UPDATE